Optimal. Leaf size=360 \[ \frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (-c x+i)}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (-c x+i)^2}-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (-c x+i)^3}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (-c x+i)}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (-c x+i)^2}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (-c x+i)^3}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}-\frac{85 i b^3}{576 c d^4 (-c x+i)}+\frac{19 b^3}{576 c d^4 (-c x+i)^2}+\frac{i b^3}{108 c d^4 (-c x+i)^3}+\frac{85 i b^3 \tan ^{-1}(c x)}{576 c d^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.673546, antiderivative size = 360, normalized size of antiderivative = 1., number of steps used = 42, number of rules used = 6, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {4864, 4862, 627, 44, 203, 4884} \[ \frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (-c x+i)}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (-c x+i)^2}-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (-c x+i)^3}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (-c x+i)}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (-c x+i)^2}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (-c x+i)^3}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}-\frac{85 i b^3}{576 c d^4 (-c x+i)}+\frac{19 b^3}{576 c d^4 (-c x+i)^2}+\frac{i b^3}{108 c d^4 (-c x+i)^3}+\frac{85 i b^3 \tan ^{-1}(c x)}{576 c d^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4864
Rule 4862
Rule 627
Rule 44
Rule 203
Rule 4884
Rubi steps
\begin{align*} \int \frac{\left (a+b \tan ^{-1}(c x)\right )^3}{(d+i c d x)^4} \, dx &=\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{(i b) \int \left (\frac{\left (a+b \tan ^{-1}(c x)\right )^2}{2 d^3 (-i+c x)^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^2}{4 d^3 (-i+c x)^3}-\frac{\left (a+b \tan ^{-1}(c x)\right )^2}{8 d^3 (-i+c x)^2}+\frac{\left (a+b \tan ^{-1}(c x)\right )^2}{8 d^3 \left (1+c^2 x^2\right )}\right ) \, dx}{d}\\ &=\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}+\frac{(i b) \int \frac{\left (a+b \tan ^{-1}(c x)\right )^2}{(-i+c x)^2} \, dx}{8 d^4}-\frac{(i b) \int \frac{\left (a+b \tan ^{-1}(c x)\right )^2}{1+c^2 x^2} \, dx}{8 d^4}-\frac{(i b) \int \frac{\left (a+b \tan ^{-1}(c x)\right )^2}{(-i+c x)^4} \, dx}{2 d^4}+\frac{b \int \frac{\left (a+b \tan ^{-1}(c x)\right )^2}{(-i+c x)^3} \, dx}{4 d^4}\\ &=-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}+\frac{\left (i b^2\right ) \int \left (-\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 (-i+c x)^2}+\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 \left (1+c^2 x^2\right )}\right ) \, dx}{4 d^4}-\frac{\left (i b^2\right ) \int \left (-\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 (-i+c x)^4}+\frac{a+b \tan ^{-1}(c x)}{4 (-i+c x)^3}+\frac{i \left (a+b \tan ^{-1}(c x)\right )}{8 (-i+c x)^2}-\frac{i \left (a+b \tan ^{-1}(c x)\right )}{8 \left (1+c^2 x^2\right )}\right ) \, dx}{3 d^4}+\frac{b^2 \int \left (-\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 (-i+c x)^3}+\frac{a+b \tan ^{-1}(c x)}{4 (-i+c x)^2}-\frac{a+b \tan ^{-1}(c x)}{4 \left (1+c^2 x^2\right )}\right ) \, dx}{4 d^4}\\ &=-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{\left (i b^2\right ) \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^3} \, dx}{12 d^4}-\frac{\left (i b^2\right ) \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^3} \, dx}{8 d^4}+\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^2} \, dx}{24 d^4}-\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{1+c^2 x^2} \, dx}{24 d^4}+\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^2} \, dx}{16 d^4}-\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{1+c^2 x^2} \, dx}{16 d^4}+\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^2} \, dx}{8 d^4}-\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{1+c^2 x^2} \, dx}{8 d^4}-\frac{b^2 \int \frac{a+b \tan ^{-1}(c x)}{(-i+c x)^4} \, dx}{6 d^4}\\ &=-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (i-c x)^3}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)^2}+\frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{\left (i b^3\right ) \int \frac{1}{(-i+c x)^2 \left (1+c^2 x^2\right )} \, dx}{24 d^4}-\frac{\left (i b^3\right ) \int \frac{1}{(-i+c x)^2 \left (1+c^2 x^2\right )} \, dx}{16 d^4}+\frac{b^3 \int \frac{1}{(-i+c x) \left (1+c^2 x^2\right )} \, dx}{24 d^4}-\frac{b^3 \int \frac{1}{(-i+c x)^3 \left (1+c^2 x^2\right )} \, dx}{18 d^4}+\frac{b^3 \int \frac{1}{(-i+c x) \left (1+c^2 x^2\right )} \, dx}{16 d^4}+\frac{b^3 \int \frac{1}{(-i+c x) \left (1+c^2 x^2\right )} \, dx}{8 d^4}\\ &=-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (i-c x)^3}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)^2}+\frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{\left (i b^3\right ) \int \frac{1}{(-i+c x)^3 (i+c x)} \, dx}{24 d^4}-\frac{\left (i b^3\right ) \int \frac{1}{(-i+c x)^3 (i+c x)} \, dx}{16 d^4}+\frac{b^3 \int \frac{1}{(-i+c x)^2 (i+c x)} \, dx}{24 d^4}-\frac{b^3 \int \frac{1}{(-i+c x)^4 (i+c x)} \, dx}{18 d^4}+\frac{b^3 \int \frac{1}{(-i+c x)^2 (i+c x)} \, dx}{16 d^4}+\frac{b^3 \int \frac{1}{(-i+c x)^2 (i+c x)} \, dx}{8 d^4}\\ &=-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (i-c x)^3}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)^2}+\frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}-\frac{\left (i b^3\right ) \int \left (-\frac{i}{2 (-i+c x)^3}+\frac{1}{4 (-i+c x)^2}-\frac{1}{4 \left (1+c^2 x^2\right )}\right ) \, dx}{24 d^4}-\frac{\left (i b^3\right ) \int \left (-\frac{i}{2 (-i+c x)^3}+\frac{1}{4 (-i+c x)^2}-\frac{1}{4 \left (1+c^2 x^2\right )}\right ) \, dx}{16 d^4}+\frac{b^3 \int \left (-\frac{i}{2 (-i+c x)^2}+\frac{i}{2 \left (1+c^2 x^2\right )}\right ) \, dx}{24 d^4}-\frac{b^3 \int \left (-\frac{i}{2 (-i+c x)^4}+\frac{1}{4 (-i+c x)^3}+\frac{i}{8 (-i+c x)^2}-\frac{i}{8 \left (1+c^2 x^2\right )}\right ) \, dx}{18 d^4}+\frac{b^3 \int \left (-\frac{i}{2 (-i+c x)^2}+\frac{i}{2 \left (1+c^2 x^2\right )}\right ) \, dx}{16 d^4}+\frac{b^3 \int \left (-\frac{i}{2 (-i+c x)^2}+\frac{i}{2 \left (1+c^2 x^2\right )}\right ) \, dx}{8 d^4}\\ &=\frac{i b^3}{108 c d^4 (i-c x)^3}+\frac{19 b^3}{576 c d^4 (i-c x)^2}-\frac{85 i b^3}{576 c d^4 (i-c x)}-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (i-c x)^3}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)^2}+\frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{144 d^4}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{96 d^4}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{64 d^4}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{48 d^4}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{32 d^4}+\frac{\left (i b^3\right ) \int \frac{1}{1+c^2 x^2} \, dx}{16 d^4}\\ &=\frac{i b^3}{108 c d^4 (i-c x)^3}+\frac{19 b^3}{576 c d^4 (i-c x)^2}-\frac{85 i b^3}{576 c d^4 (i-c x)}+\frac{85 i b^3 \tan ^{-1}(c x)}{576 c d^4}-\frac{b^2 \left (a+b \tan ^{-1}(c x)\right )}{18 c d^4 (i-c x)^3}+\frac{5 i b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)^2}+\frac{11 b^2 \left (a+b \tan ^{-1}(c x)\right )}{48 c d^4 (i-c x)}-\frac{11 b \left (a+b \tan ^{-1}(c x)\right )^2}{96 c d^4}-\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{6 c d^4 (i-c x)^3}-\frac{b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)^2}+\frac{i b \left (a+b \tan ^{-1}(c x)\right )^2}{8 c d^4 (i-c x)}-\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{24 c d^4}+\frac{i \left (a+b \tan ^{-1}(c x)\right )^3}{3 c d^4 (1+i c x)^3}\\ \end{align*}
Mathematica [A] time = 0.296543, size = 269, normalized size = 0.75 \[ \frac{3 b (c x+i) \tan ^{-1}(c x) \left (-72 i a^2 \left (c^2 x^2-4 i c x-7\right )+12 a b \left (-11 c^2 x^2+32 i c x+29\right )+b^2 \left (85 i c^2 x^2+208 c x-139 i\right )\right )-72 i a^2 b \left (3 c^2 x^2-9 i c x-10\right )-576 a^3+12 a b^2 \left (-33 c^2 x^2+81 i c x+56\right )-18 i b^2 (c x+i) \tan ^{-1}(c x)^2 \left (12 a \left (c^2 x^2-4 i c x-7\right )+b \left (-11 i c^2 x^2-32 c x+29 i\right )\right )+b^3 \left (255 i c^2 x^2+567 c x-328 i\right )-72 i b^3 \left (c^3 x^3-3 i c^2 x^2-3 c x-7 i\right ) \tan ^{-1}(c x)^3}{1728 c d^4 (c x-i)^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.467, size = 881, normalized size = 2.5 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.86376, size = 439, normalized size = 1.22 \begin{align*} -\frac{{\left (216 i \, a^{2} b + 396 \, a b^{2} - 255 i \, b^{3}\right )} c^{2} x^{2} +{\left (72 i \, b^{3} c^{3} x^{3} + 216 \, b^{3} c^{2} x^{2} - 216 i \, b^{3} c x + 504 \, b^{3}\right )} \arctan \left (c x\right )^{3} + 576 \, a^{3} - 720 i \, a^{2} b - 672 \, a b^{2} + 328 i \, b^{3} + 81 \,{\left (8 \, a^{2} b - 12 i \, a b^{2} - 7 \, b^{3}\right )} c x -{\left (18 \,{\left (-12 i \, a b^{2} - 11 \, b^{3}\right )} c^{3} x^{3} -{\left (648 \, a b^{2} - 378 i \, b^{3}\right )} c^{2} x^{2} - 1512 \, a b^{2} + 522 i \, b^{3} + 54 \,{\left (12 i \, a b^{2} - b^{3}\right )} c x\right )} \arctan \left (c x\right )^{2} +{\left ({\left (216 i \, a^{2} b + 396 \, a b^{2} - 255 i \, b^{3}\right )} c^{3} x^{3} + 9 \,{\left (72 \, a^{2} b - 84 i \, a b^{2} - 41 \, b^{3}\right )} c^{2} x^{2} + 1512 \, a^{2} b - 1044 i \, a b^{2} - 417 \, b^{3} +{\left (-648 i \, a^{2} b + 108 \, a b^{2} - 207 i \, b^{3}\right )} c x\right )} \arctan \left (c x\right )}{1728 \, c^{4} d^{4} x^{3} - 5184 i \, c^{3} d^{4} x^{2} - 5184 \, c^{2} d^{4} x + 1728 i \, c d^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.36914, size = 900, normalized size = 2.5 \begin{align*} \frac{{\left (-432 i \, a^{2} b - 792 \, a b^{2} + 510 i \, b^{3}\right )} c^{2} x^{2} -{\left (18 \, b^{3} c^{3} x^{3} - 54 i \, b^{3} c^{2} x^{2} - 54 \, b^{3} c x - 126 i \, b^{3}\right )} \log \left (-\frac{c x + i}{c x - i}\right )^{3} - 1152 \, a^{3} + 1440 i \, a^{2} b + 1344 \, a b^{2} - 656 i \, b^{3} -{\left (1296 \, a^{2} b - 1944 i \, a b^{2} - 1134 \, b^{3}\right )} c x +{\left ({\left (108 i \, a b^{2} + 99 \, b^{3}\right )} c^{3} x^{3} + 27 \,{\left (12 \, a b^{2} - 7 i \, b^{3}\right )} c^{2} x^{2} + 756 \, a b^{2} - 261 i \, b^{3} +{\left (-324 i \, a b^{2} + 27 \, b^{3}\right )} c x\right )} \log \left (-\frac{c x + i}{c x - i}\right )^{2} +{\left ({\left (216 \, a^{2} b - 396 i \, a b^{2} - 255 \, b^{3}\right )} c^{3} x^{3} +{\left (-648 i \, a^{2} b - 756 \, a b^{2} + 369 i \, b^{3}\right )} c^{2} x^{2} - 1512 i \, a^{2} b - 1044 \, a b^{2} + 417 i \, b^{3} -{\left (648 \, a^{2} b + 108 i \, a b^{2} + 207 \, b^{3}\right )} c x\right )} \log \left (-\frac{c x + i}{c x - i}\right )}{3456 \, c^{4} d^{4} x^{3} - 10368 i \, c^{3} d^{4} x^{2} - 10368 \, c^{2} d^{4} x + 3456 i \, c d^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (b \arctan \left (c x\right ) + a\right )}^{3}}{{\left (i \, c d x + d\right )}^{4}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]